一类拟线性椭圆型方程分歧点的存在性

本文讨论了下面问题的分歧点的存在性：－ｐｘｉ〔（１＋｜ｕ｜２）ｐ２－１ｕｘｉ〕＝μｕ＋ｆ（ｘ，ｕ），ｘ∈ＲＮｕ（ｘ）→０，当｜ｘ｜→＋∞时，ｕ０，μ∈Ｒ１，Ｎ＞ｐ≥２｛证明了μ＝０是上述问题的分歧点。     

非线性四阶微分方程两点边值问题解的存在唯一性

讨论了非线性四阶微分方程y(4)=f(x,y,y',y',y')的两点边值问题解的存在唯一性。其中,函数f在[a,b]×R4上连续,且满足Lipschitz条件。     

诊断键合图在液体火箭发动机故障诊断中的应用

研究了通过诊断键合图模型建立液体火箭发动机解析冗余关系的故障诊断方法。通过在液体火箭发动机键合图模型中加入观测信号和虚拟传感器的方法，建立其诊断键合图模型，并利用此模型构建了系统的解析冗余关系。提出了根据诊断键合图因果路径并利用解析冗余关系残差趋势分析建立具有残差变化方向故障特征矩阵的方法，使故障特征值能更好地反映故障特征。最后利用仿真数据对诊断结果进行验证和分析，表明该方法建模简单、诊断速度快、准确性高。     

脱靶量估算和广义比例导引

本文提出一种适于真比例导引系统估计脱靶量的方法，依据这种方法，只要知道制导－控制时间延迟、拦截器的目标的相对运动速度等，就可以估计出脱靶量的大小。本文还就减小脱靶量而有采用广义比例导引的前景进行了探讨。     

弹道导弹自由段解算的等高约束解析解

在状态空间摄动法的基础上，提出了求解终端为高度约束的弹道导弹自由段轨迹的方法，导出考虑J2项摄动的运动参数等高偏差解析解，并提出利用已有的等地心距偏差公式近似的思路。和其它解析方法相比，所提方法计算精度高，无须迭代。算例证明：解析方法的计算精度在50米以内，可以满足诸元和制导计算的要求。     

热力系统中分布参数对象的数值─解析混合仿真方法

以热力系统中常见的管式换热器为对象，建立了包括质量、动量和能量平衡方程的集中参数数学模型，通过一系列的数值简化和处理，获得了能量方程的解析解，并发现此解的精度对时间步长的大小不很敏感。利用这一特性，本文提出了数值—解析混合仿真方法，采用多段集中参数模型同时选用较大的时间步长进行仿真。与非线性分布参数模型计算结果的对比表明，本仿真方法不仅具有较高的精度，同时也大大提高了计算速度，实现了仿真精度和实时性的统一。本方法对热力系统中分布参数对象的仿真具有重要意义。     

虚构解方法程序验证

对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何较严格地进行程序验证这一问题;该方法通过构造虚构解,修改原控制方程,然后通过对计算结果的分析处理达到对程序的精确验证;文中给出了一组通用的虚构解的选取办法,解决了虚构解方法验证过程中确定虚构解的问题;同时还给出了运用该方法对非结构二维Euler计算程序进行验证的具体例子,网格收敛分析结果表明该方法是一种有效的程序验证方法,并且具有较好的通用性。     

关于拟线性椭圆型方程在广义Sobolev空间中解的正则性

本文讨论了下面方程Ｄｉｒｉｃｈｌｅｔ问题在广义Ｓｏｂｏｌｅｖ空间中解中的正则性－ｄ／ｄｘ１ａ１（ｘ，ｕ，Ｄｕ）＋ａ（ｘ，ｕ，Ｄｕ）＝０，ｘ∈Ω其中Ω∈Ｒ是有界区域，证明了上述问题在Ｗ（Ω）和Ｗ（Ω）在存在有界广义解。     

一类拟线性椭圆型方程的CHOQUARD-PEKAR问题

讨论了一类拟线性椭圆型方程的CHOQUARD-PEKAR问题在无界区域中的非平凡解的存在性,对于极小问题Iλ和I∞λ,得到了对于每个λ0,存在α∈(0,λ],使得Iα和I∞α可以达到.     

双层多目标规划若干问题的研究

研究了下层决策者无关联的双层多目标规划问题，在不同偏好意义下，给出了各自解的定义，讨论了线性双层多目标规划问题。